Compression Schemes, Stable Definable Families, and o-Minimal Structures
نویسندگان
چکیده
منابع مشابه
Compression Schemes, Stable Definable Families, and o-Minimal Structures
We show that any family of sets uniformly definable in an ominimal structure has an extended compression scheme of size equal to the number of parameters in the defining formula. As a consequence, the combinatorial complexity (or density) of any definable family in a structure with a o-minimal theory is bounded by the number of parameters in the defining formula. ∗Partially supported by NSF gra...
متن کاملGroups Definable in O-minimal Structures
In this series of lectures, we will a) introduce the basics of ominimality, b) describe the manifold topology of groups definable in o-minimal structures, and c) present a structure theorem for the special case of semi-linear groups, exemplifying their relation with real Lie groups. The structure of these lectures is as follows: (1) Basics of o-minimality: definition, Cell Decomposition Theorem...
متن کاملSolvable groups definable in o-minimal structures
Let N be an o-minimal structure. In this paper we develop group extension theory over N and use it to describe N -definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal’cev theorem and we describe N -definable G-modules and N -definable
متن کاملDefinable Utility in O-Minimal Structures
Representing binary ordering relations by numerical functions is a basic problem of the theory of measurement. It has applications in many fields of science, and arises in psychology and economics as the problem of establishing utility functions for preference relations. We obtain definable utility representations for (both continuous and upper semicontinuous) definable preferences in o-minimal...
متن کاملType-definable and invariant groups in o-minimal structures
Let M be a big o-minimal structure and G a type-definable group in Mn. We show that G is a type-definable subset of a definable manifold in Mn that induces on G a group topology. If M is an o-minimal expansion of a real closed field, then G with this group topology is even definably isomorphic to a type-definable group in some Mk with the topology induced by Mk. Part of this result holds for th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete & Computational Geometry
سال: 2009
ISSN: 0179-5376,1432-0444
DOI: 10.1007/s00454-009-9201-3